#include <stdio.h>

void skip_whitespace(FILE *stream)
{
    int c;
    do{
        c = getc(stream);
    }while(isspace(c));
    ungetc(c, stream);
}